w{-}eq{-}E($w$; $p$; $q$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$1of($p$) = 1of($q$) $\wedge_{2}$ 2of($p$)=$_{2}$2of($q$)